Vorträge

Vorträge in Begleitung zu veröffentlichten Tagungsbeiträgen werden hier nicht noch einmal separat aufgeführt.

1. WOLFGANG KüCHLIN, 20.3.-24.3.95, Dagstuhl Seminar 9512 ,,Deduktion``, Schloß Dagstuhl, Parallel Term-Rewriting .
2. WOLFGANG KüCHLIN, 30.04.-05.05.95, Workshop Symbolic Rewriting Techniques, Monte Verità, Ascona, Schweiz, Parallel Completion Techniques .
3. WOLFGANG KüCHLIN, 13.06-17.06.95, Kolloquium des DFG Schwerpunkts ,,Algebra und algorithmische Zahlentheorie,`` Schloß Dagstuhl, Paralleles Gleichungslösen mit Gröbner Basen .
4. WOLFGANG KüCHLIN, 16.06.95, Max-Planck-Institut für Informatik, Saarbrücken, Approaches to Hardware Verification by Term-Rewriting .
5. WOLFGANG KüCHLIN, 23.07.-28.07.95, Dagstuhl Seminar 9530 ,,Automation of Proof by Mathematical Induction``, Schloß Dagstuhl, Hardware Verification by Term-Rewriting Induction .
6. O. GLOOR, Mathematisches Institut, Universität Tⁿbingen, Computerunterstⁿtzter Mathematikunterricht
7. O. GLOOR, PΣdagogische Hochschule Weingarten, Eine Einführung in Mathematica
8. WOLFGANG KüCHLIN, 18.1.-20.01.96, Kolloquium des DFG Schwerpunkts ,,Deduktion``, Schloß Dagstuhl, Hochleistungs-Termersetzung mit PaReDuX .
9. B. AMRHEIN, O.GLOOR 23.1.96 Mathematische Vereinigung, Universität Bern Visualisierung im Unterricht
10. WOLFGANG KüCHLIN, 04.02.-09.02.96, Dagstuhl Seminar 96061 ,,Computeralgebra Software``, Schloß Dagstuhl, PARSAC-2: Parallel Symbolic Computation on the desk-top .
11. B. AMRHEIN, 1. 4. 96, 87. Hauptversammlung des Dt. Vereins zur Förderung des math. und nat.-wiss. Unterrichts, Dⁿsseldorf Computergestⁿtzte Visualisierung mathematischer Konzepte .
12. WOLFGANG KüCHLIN, 10.4.96, Fa. Debis Systemhaus, Stuttgart, Paralleles Rechnen am Arbeitsplatz .
13. WOLFGANG KüCHLIN, 1.5.96, Institut für angewandte Mathematik, Universität Bern, Schweiz, Paralleles Rechnen am Arbeitsplatz .
14. WOLFGANG KüCHLIN, 4.7.96, Mathematik, Universität Paderborn, Parallel Completion Methods in PARSAC .
15. WOLFGANG KüCHLIN, 23.09.-27.09.96, Jahrestagung der Gesellschaft für Informatik, Klagenfurt, Österreich, Paralleles symbolisches Rechnen am Arbeitsplatz .
16. WOLFGANG KüCHLIN, 28.11.96, Studium Generale der Universität Tübingen, Mathematik-Unterricht mit dem Computer .
17. WOLFGANG KüCHLIN, 19.12.96, Fa. IBM, Böblingen, Paralleles symbolisches Rechnen am Arbeitsplatz